Les Suites Isogènes (Isogenic Sequences)

Mémoire Sur Les Suites

The theory of series is one of the most important objects of Analysis: all problems which reduce to some approximations, and consequently nearly all the applications of Mathematics to Nature, depend on this theory; thus we see that it has principally fixed the attention of the geometers; they have found a great number of beautiful theorems and ingenious methods, either in order to expand functi...

Automatic Sequences and Related Topics Suites Automatiques Et Sujets Reliés

numeration systems are a natural generalization of positional numeration systems whose set of representations of all the integers is a regular language. They were introduced five years ago by P. Lecomte and myself [3] and are defined in the following way. Consider any infinite regular language L over a totally ordered alphabet (A,<). An abstract numeration system is thus simply given by the tri...

Test Suites for NLP

Universal Benchmark Suites

We present concepts, design, and use of universal benchmark suites. Such suites consist of benchmark programs that represent all relevant characteristic types of workload. The execution times of individual benchmarks and appropriate weights can be used to compute global performance indicators that reflect a spectrum of specific compound workloads. All such global indicators can be obtained from...

Verification of Test Suites

We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations to test. It is shown that this requires in general a complex algorithmic comparable to model-checking. The principles of a prototype tool, called VTS, and based on the synthesis algorithms of TGV, are presented. We th...